Jean-Raymond Abrial: tìm kiếm trên Z-Library

Truy cập tự do vào tri thức và văn hóa.

Don't use scam websites

Các bộ lọc được sử dun

Tìm chính xác từ

Tìm chính xác từ

Sách (16)
Phổ biến
- Sắp xếp theo×
- Phổ biến
- Phù hợp nhất
- Đangđược bổ sung
- Theo tên (A-Z)
- Theo tên (Z-A)
- Theo năm
- Kích thước file ↓
- Kích thước file ↑
Danh sách
- Danh sách
- Bảng

1

Event-B建模系统和软件工程(Event-B modeling)

Event-B建模系统和软件工程(Event-B modeling)

人民邮电出版社

作者：Jean-Raymond Abrial；裘宗燕译

Năm:

2019

Ngôn ngữ:

chinese

File:

PDF, 64.58 MB

0 / 4.0

chinese, 2019

2

Modeling in Event-B: System and Software Engineering

Modeling in Event-B: System and Software Engineering

Cambridge University Press

Jean-Raymond Abrial

Năm:

2010

Ngôn ngữ:

english

File:

PDF, 3.01 MB

0 / 0

english, 2010

3

Rigorous Development of Complex Fault-Tolerant Systems

Rigorous Development of Complex Fault-Tolerant Systems

Springer-Verlag Berlin Heidelberg

Jean-Raymond Abrial (auth.), Michael Butler, Cliff B. Jones, Alexander Romanovsky, Elena Troubitsyna (eds.)

Năm:

2006

Ngôn ngữ:

english

File:

PDF, 4.94 MB

0 / 0

english, 2006

4

Modeling in Event-B : system and software engineering

Modeling in Event-B : system and software engineering

Cambridge University Press

Jean-Raymond Abrial

Năm:

2010

Ngôn ngữ:

english

File:

PDF, 2.05 MB

0 / 0

english, 2010

5

Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003. Proceedings

Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003. Proceedings

Springer-Verlag Berlin Heidelberg

Jean-Raymond Abrial, Dominique Cansell (auth.), David Basin, Burkhart Wolff (eds.)

Năm:

2003

Ngôn ngữ:

english

File:

PDF, 2.93 MB

0 / 0

english, 2003

6

The B-book : assigning programs to meanings / [...] XD-US

The B-book : assigning programs to meanings / [...] XD-US

Cambridge [u.a.] Cambridge Univ. Press

Jean-Raymond Abrial

Năm:

1996

Ngôn ngữ:

english

File:

DJVU, 6.18 MB

0 / 0

english, 1996

7

Integrated Formal Methods: 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings

Integrated Formal Methods: 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings

Springer-Verlag Berlin Heidelberg

Jean-Raymond Abrial (auth.), Einar Broch Johnsen, Luigia Petre (eds.)

Năm:

2013

Ngôn ngữ:

english

File:

PDF, 7.94 MB

0 / 0

english, 2013

8

Integrated Formal Methods: 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings

Integrated Formal Methods: 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Thai Son Hoang, Hironobu Kuruma, David Basin, Jean-Raymond Abrial (auth.), Michael Leuschel, Heike Wehrheim (eds.)

Năm:

2009

Ngôn ngữ:

english

File:

PDF, 10.61 MB

0 / 0

english, 2009

9

Integrated Formal Methods: 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings

Integrated Formal Methods: 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Thai Son Hoang, Hironobu Kuruma, David Basin, Jean-Raymond Abrial (auth.), Michael Leuschel, Heike Wehrheim (eds.)

Năm:

2009

Ngôn ngữ:

english

File:

PDF, 5.05 MB

0 / 0

english, 2009

10

Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control

Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control

Springer-Verlag Berlin Heidelberg

Jean-Raymond Abrial, Egon Börger (auth.), Jean-Raymond Abrial, Egon Börger, Hans Langmaack (eds.)

Năm:

1996

Ngôn ngữ:

english

File:

DJVU, 4.81 MB

0 / 0

english, 1996

11

Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday

Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday

Springer-Verlag Berlin Heidelberg

Jean-Raymond Abrial (auth.), Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.)

Năm:

2013

Ngôn ngữ:

english

File:

PDF, 5.34 MB

0 / 0

english, 2013

12

Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday

Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday

Springer-Verlag Berlin Heidelberg

Sylvain Boulmé (auth.), Jean-Raymond Abrial, Uwe Glässer (eds.)

Năm:

2009

Ngôn ngữ:

english

File:

PDF, 3.05 MB

0 / 0

english, 2009

13

Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003. Proceedings

Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003. Proceedings

Springer-Verlag Berlin Heidelberg

Jean-Raymond Abrial, Dominique Cansell (auth.), David Basin, Burkhart Wolff (eds.)

Năm:

2003

Ngôn ngữ:

english

File:

PDF, 1.79 MB

0 / 0

english, 2003

14

Rigorous Development of Complex Fault-Tolerant Systems

Rigorous Development of Complex Fault-Tolerant Systems

Springer-Verlag Berlin Heidelberg

Jean-Raymond Abrial (auth.), Michael Butler, Cliff B. Jones, Alexander Romanovsky, Elena Troubitsyna (eds.)

Năm:

2006

Ngôn ngữ:

english

File:

PDF, 4.60 MB

0 / 0

english, 2006

15

Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday

Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday

Springer-Verlag Berlin Heidelberg

Sylvain Boulmé (auth.), Jean-Raymond Abrial, Uwe Glässer (eds.)

Năm:

2009

Ngôn ngữ:

english

File:

PDF, 3.90 MB

0 / 0

english, 2009

16

Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday

Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday

Springer-Verlag Berlin Heidelberg

Sylvain Boulmé (auth.), Jean-Raymond Abrial, Uwe Glässer (eds.)

Năm:

2009

Ngôn ngữ:

english

File:

PDF, 3.13 MB

0 / 0

english, 2009